$\forall$$a$:Atom1, $l$:IdLnk. $l$:IdLnk$\parallel$$a$